1 2 - PDFSEARCH.IO - Document Search Engine

1 2
Results: 258872

#	Item
91	Column Parity Mixers Ko Stoffelen1∗ and Joan Daemen1,2 1 Digital Security Group, Radboud University, Nijmegen, The Netherlands 2 Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-03-09 10:10:48 Algebra Mathematics Linear algebra Matrices Matrix theory Abstract algebra Coding theory Trace Circulant matrix Square matrix Matrix Row and column spaces
92	A Demonstration of the Solid Platform for Social Web Applications Essam Mansour1 Andrei Vlad Sambra2 Sandro Hawke2 Maged Zereba1 Sarven Capadisli2 Abdurrahman Ghanem1 Ashraf Aboulnaga1 Tim Berners-Lee2 1 2 Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:29:34 Computing Semantic Web Data management Data WebID Resource Description Framework Linked Data Platform SPARQL Solid Single sign-on Clientserver model Triplestore
93	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar
94	Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Artificial neural networks Applied mathematics Cybernetics Neuroscience Convolutional neural network Feature learning Deep learning Karel Neural network Long short-term memory Machine learning
95	A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-09-08 19:38:18 Mathematical analysis Mathematics Constructible universe Distribution
96	Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-06-17 04:03:10 Electronic engineering Logic gates Digital electronics Electrical engineering Electronics Electrical circuits Digital systems Clock signal C-element Asynchronous circuit Sequential logic Flip-flop
97	Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 03:28:45 Software Automated theorem proving Theoretical computer science Formal methods TPTP Proof assistant Frama-C Theorem prover E theorem prover Theorem Isabelle
98	The Pathway CH-2 Study Frequent Questions 1. What is the Pathway CH-2 Study? Headache treatment centers throughout the U.S. are participating in the Pathway CH-2 cluster headache clinical study. The study is for individu Add to Reading List Source URL: www.ati-spg.com Language: English - Date: 2017-03-19 22:20:01 Health Medicine Neurotechnology Electrotherapy Medical devices Clinical research Neurological disorders Neurostimulation Clinical trial Investigator Cluster headache Headache
99	1 Algorithmic Channel Design 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-03 11:36:50 Graph theory Mathematics Edsger W. Dijkstra Network theory Shortest path problem Minimum spanning tree Directed graph Connectivity NP-complete problems Line graph Eulerian path
100	Natural Language to Structured Query Generation via Meta-Learning Po-Sen Huang 1 Chenglong Wang 2 Rishabh Singh 3 * Wen-tau Yih 4 Xiaodong He 5 * 1. Introduction Conventional supervised training is a pervasive paradigm Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Learning Artificial intelligence Meta learning Support vector machine Supervised learning Training test and validation sets